From UML statecharts to FPGA - the HiCoS approach
نویسنده
چکیده
The author in his research has focused on real time digital controllers which traditionally are designed as finite state machines or Petri nets. Such controllers can be effectively modelled with some subset of UML statecharts and next can directly be implemented in programmable logic devices (for example FPGA). This transformation is being realized by a system known as HiCoS (abbreviation comes from Hierarchical Concurrent System) designed and developed at University of Zielona Góra by the author.
منابع مشابه
Model-level Automatic Test Generation for Uml Statecharts
We present a framework for model-level testing of behavioral UML models. For automatic test generation, we use planner algorithms to deal with the complexity of UML models. Our approach is characterized by an automatic and metamodeldriven transformation from UML statecharts to a tool independent representation of planner algorithms from which the input language of concrete planner tools can be ...
متن کاملA Formalization of Uml Statecharts for Real-time Software Modeling
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to learn and use, UML is very popular, unlike formal methods. However, formal models provide developers with several benefits: they can be used for activities –like property verification, simulation, test case generation,...
متن کاملSystem Model Semantics of Statecharts
In this report, semantics for Statecharts is defined based on a mathematical model of object systems called"system model". The semantics definition is detailed for UML/P Statecharts, a variant of Statecharts which restricts the use of a few methodologically and semantically difficult concepts. After transforming full UML/P Statecharts to simplified but semantically equivalent Statecharts, the s...
متن کاملMapping UML statecharts to java code
The Unified Modeling Language (UML) statechart diagram is used for modeling the dynamic aspects of systems. The UML statechart diagrams include many concepts that are not present in most popular programming languages, like Java or C++. There exists a gap between high level modeling language and a programming language. There is not a one-to-one mapping between a statechart and its implementation...
متن کاملPLC-Statecharts: An Approach to Integrate UML-Statecharts in Open-Loop Control Engineering ï¿1⁄2 Aspects on Behavioral Semantics and Model-Checking
This paper presents the core concepts for PLC-statecharts an adaptation of UML-statecharts which can be used as a visual programming language for PLCs. They combine the advantages of UMLstatecharts with a strict formal basis and can be transparently used in the context of IEC 61131-3 (3 Edition). The defined formal behavioral semantics sets the basis for an automatic transformation of PLC-state...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003